Formal Layers